本报北京8月30日电北京双全天地科技发展有限公司在京举行新闻发布会，正式推出中国第一套智能教育软件——双全智能教育软件，这标志着“用电脑来解决数理化证明问题”这一被全球科学家所公认的难题不仅在理论研究上取得重大突破，而且开始进入应用领域，正式进入中国学生的家庭。
该软件由我国著名数学家、中国科学院院士张景中教授指导开发，基本覆盖初、高中数理化全部内容，全系列共计11个品种，首批上市为初中代数、立体几何、解析几何、三角函数等4个品种。
该软件应用了“几何定理的机器证明”这一当前国际最先进的人工智能理论，该理论是张景中院士及其合作数十年的研究成果，获得国家自然科学二等奖、中科院自然科学一等奖。该套软件已经国家教育部全国中小学教材审定委员会审定通过，作为教育部推荐软件列入中小学教材图书目录。
与传统题库类软件所不同的是：该系列软件的最大特点是智能解题、人机交互、自动推理和动态作图。它不仅能自动求解软件使用者提供的题目并显示解题过程，而且也能判断使用者给出的解答是否正确。软件提供了较强的人机交互功能，可以通过使用者计算机之间对话自动生成解题过程。启发学生思维，指导学生解题的方法而不是仅仅给出结论，使计算机在很大程度上能够代替教师的提示、指导、解答等工作，帮助教师或家长对学生进行学习辅导。
